#include <stdint-gcc.h>
#include <stddef.h>
#include "packet.h"
#include "ethmac.h"
#include "uart.h"
#include "timer.h"

void isr(void)
{
	if (timer_irq) {
		timer_irq = 0;
	}
	if (ethmac_intsrc) {
		ethmac_interrupt();
	}
}
